`:top

`!Shiftoperatoren`! (Shift-Operatoren, Verschiebeoperatoren, Verschiebungsoperatoren) werden im `F33f`_`[mathematischen Teilgebiet`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Teilgebiete_der_Mathematik]`_`f der `F33f`_`[Funktionalanalysis`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Funktionalanalysis]`_`f betrachtet. Beim `*unilateralen Shiftoperator`* (s. u.) handelt es sich um einen konkreten nicht`F33f`_`[normalen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Normaler_Operator]`_`f `F33f`_`[Operator`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Linearer_Operator]`_`f auf einem `F33f`_`[Hilbertraum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Hilbertraum]`_`f. Dieser Operator hat viele Eigenschaften, zu denen es keine endlichdimensionale Entsprechung gibt.

>>Contents

• `F0af`_`[Definition`#definition]`_`f

• `F0af`_`[Der bilaterale Shift`#der-bilaterale-shift]`_`f

• `F0af`_`[Der unilaterale Shift`#der-unilaterale-shift]`_`f

• `F0af`_`[Das Spektrum des Shiftoperators`#das-spektrum-des-shiftoperators]`_`f

• `F0af`_`[Der Shiftoperator als Fredholm-Operator`#der-shiftoperator-als-fredholm-operator]`_`f

• `F0af`_`[Wold-Zerlegung`#wold-zerlegung]`_`f

• `F0af`_`[Der Shiftoperator auf H 2`#der-shiftoperator-auf-h-2]`_`f

• `F0af`_`[Quellen`#quellen]`_`f

-─

>>Definition

Ein unendlichdimensionaler `F33f`_`[separabler`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Separabler_Raum]`_`f Hilbertraum ist nach dem `F33f`_`[Satz von Fischer-Riesz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Satz_von_Fischer-Riesz]`_`f `F33f`_`[isometrisch`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Isometrie]`_`f `F33f`_`[isomorph`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Isomorphismus]`_`f zu ℓ ℓ 2 ( I ) := { ( a i ) i ∈ ∈ I ∈ ∈ C I ; ∑ ∑ i ∈ ∈ I | a i | 2 < ∞ ∞ } {\\displaystyle \\textstyle \\ell ^{2}(I):=\\{(a_{i})_{i\\in I}\\in {\\mathbb {C} }^{I};\\,\\sum _{i\\in I}|a_{i}|^{2}<\\infty \\}} , wobei I {\\displaystyle I} eine `F33f`_`[abzählbar unendliche`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Abzählbar_unendlich]`_`f Menge ist, zum Beispiel I = Z {\\displaystyle I={\\mathbb {Z} }} oder I = N {\\displaystyle I={\\mathbb {N} }} . Der Operator

W : ℓ ℓ 2 ( Z ) → → ℓ ℓ 2 ( Z ) , ( a n ) n ∈ ∈ Z ↦ ↦ ( a n − − 1 ) n ∈ ∈ Z {\\displaystyle W:\\ell ^{2}({\\mathbb {Z} })\\rightarrow \\ell ^{2}({\\mathbb {Z} }),\\,\\,(a_{n})_{n\\in {\\mathbb {Z} }}\\mapsto (a_{n-1})_{n\\in {\\mathbb {Z} }}}

heißt `*bilateraler Shiftoperator`*.

S : ℓ ℓ 2 ( N ) → → ℓ ℓ 2 ( N ) , ( a n ) n ∈ ∈ N ↦ ↦ ( 0 , a 1 , a 2 , … … ) {\\displaystyle S:\\ell ^{2}({\\mathbb {N} })\\rightarrow \\ell ^{2}({\\mathbb {N} }),\\,\\,(a_{n})_{n\\in {\\mathbb {N} }}\\mapsto (0,a_{1},a_{2},\\ldots )}

heißt `*unilateraler Shiftoperator`*. Die Bezeichnung `*Shiftoperator`* rührt daher, dass diese Operatoren die Folgenglieder um eine Indexposition verschieben. Beim bilateralen Shiftoperator sind Indizes auf beiden Seiten der Null betroffen, positive wie negative, beim unilateralen Shiftoperator nur die Indizes einer Seite, nämlich nur die positiven. In der mathematischen Literatur steht `*Shiftoperator`*, ohne weiteren Zusatz, in der Regel für den unilateralen Shiftoperator. Oft lässt man auch den Wortbestandteil `*Operator`* fort und spricht einfach vom `*Shift`*.

Fasst man ℓ ℓ 2 ( N ) {\\displaystyle \\ell ^{2}({\\mathbb {N} })} als Unterraum von ℓ ℓ 2 ( Z ) {\\displaystyle \\ell ^{2}({\\mathbb {Z} })} auf, indem man ( a 1 , a 2 , a 3 , … … ) {\\displaystyle (a_{1},a_{2},a_{3},\\ldots )} mit ( … … , 0 , a 1 , a 2 , a 3 , … … ) {\\displaystyle (\\ldots ,0,a_{1},a_{2},a_{3},\\ldots )} identifiziert, so sieht man, dass S = W | ℓ ℓ 2 ( N ) {\\displaystyle S=W|_{\\ell ^{2}({\\mathbb {N} })}} ist, das heißt, der unilaterale Shiftoperator ist eine Einschränkung des bilateralen Shiftoperators.

>>Der bilaterale Shift

Der bilaterale Shift W {\\displaystyle W} ist ein `F33f`_`[unitärer Operator`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Unitärer_Operator]`_`f, die `F33f`_`[Umkehrung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Umkehrfunktion]`_`f ist der `F33f`_`[adjungierte Operator`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Adjungierter_Operator]`_`f

W ∗ ∗ : ℓ ℓ 2 ( Z ) → → ℓ ℓ 2 ( Z ) , ( a n ) n ∈ ∈ Z ↦ ↦ ( a n + 1 ) n ∈ ∈ Z {\\displaystyle W^{*}:\\ell ^{2}({\\mathbb {Z} })\\rightarrow \\ell ^{2}({\\mathbb {Z} }),\\,\\,(a_{n})_{n\\in {\\mathbb {Z} }}\\mapsto (a_{n+1})_{n\\in {\\mathbb {Z} }}} .

Das `F33f`_`[Spektrum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Spektrum_(Operatortheorie)]`_`f des bilateralen Shifts ist die gesamte Kreislinie, das heißt σ σ ( W ) = { λ λ ∈ ∈ C ; | λ λ | = 1 } {\\displaystyle \\sigma (W)=\\{\\lambda \\in {\\mathbb {C} };\\,|\\lambda |=1\\}} . Kein Element des Spektrums ist ein `F33f`_`[Eigenwert`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Eigenwert]`_`f.

>>Der unilaterale Shift

Der unilaterale Shift S {\\displaystyle S} ist eine `F33f`_`[Isometrie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Isometrie]`_`f, die nicht `F33f`_`[surjektiv`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Surjektivität]`_`f ist, denn das Bild ist die Menge aller Folgen aus ℓ ℓ 2 ( N ) {\\displaystyle \\ell ^{2}({\\mathbb {N} })} , deren erste Komponente 0 ist. Damit ist S {\\displaystyle S} ein `F33f`_`[injektiver`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Injektivität]`_`f linearer Operator, der nicht surjektiv ist; dies ist ein Phänomen, das in der Theorie der endlichdimensionalen Räume, das heißt in der `F33f`_`[linearen Algebra`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lineare_Algebra]`_`f, nicht vorkommt.

Der `F33f`_`[adjungierte Operator`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Adjungierter_Operator]`_`f ist

S ∗ ∗ : : ℓ ℓ 2 ( N ) → → ℓ ℓ 2 ( N ) , ( a n ) n ∈ ∈ N ↦ ↦ ( a 2 , a 3 , … … ) {\\displaystyle S^{*}\\colon \\ell ^{2}({\\mathbb {N} })\\rightarrow \\ell ^{2}({\\mathbb {N} }),\\,\\,(a_{n})_{n\\in {\\mathbb {N} }}\\mapsto (a_{2},a_{3},\\ldots )} .

Damit folgt sofort S ∗ ∗ S = i d {\\displaystyle S^{*}S=id} und S S ∗ ∗ = P i m ( S ) {\\displaystyle SS^{*}=P_{im(S)}} , wobei letzteres für die `F33f`_`[Orthogonalprojektion`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Orthogonalprojektion]`_`f auf das Bild von S {\\displaystyle S} steht. Insbesondere ist S {\\displaystyle S} nicht `F33f`_`[normal`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Normaler_Operator]`_`f. Man kann sogar zeigen, dass der Shiftoperator von jedem unitären Operator genau den maximal möglichen Normabstand 2 hat.

>>>Das Spektrum des Shiftoperators

Das Spektrum von S {\\displaystyle S} ist die volle Kreisscheibe: σ σ ( S ) = { λ λ ∈ ∈ C ; | λ λ | ≤ ≤ 1 } {\\displaystyle \\sigma (S)=\\{\\lambda \\in {\\mathbb {C} };\\,|\\lambda |\\leq 1\\}} . Keiner der Spektralpunkte ist ein `F33f`_`[Eigenwert`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Eigenwert]`_`f. Die Spektralpunkte λ λ {\\displaystyle \\lambda } mit | λ λ | = 1 {\\displaystyle |\\lambda |=1} sind aber sogenannte `*approximative Eigenwerte`*, das heißt, es gibt eine Folge ( x n ) n {\\displaystyle (x_{n})_{n}} von Vektoren mit `F33f`_`[Norm`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Skalarproduktnorm]`_`f 1, so dass ‖ ‖ S x n − − λ λ x n ‖ ‖ → → 0 {\\displaystyle \\|Sx_{n}-\\lambda x_{n}\\|\\to 0} . Für die inneren Spektralpunkte λ λ {\\displaystyle \\lambda } mit | λ λ | < 1 {\\displaystyle |\\lambda |<1} gilt das nicht.

Das Spektrum des adjungierten Operators S ∗ ∗ {\\displaystyle S^{*}} ist ebenfalls die volle Kreisscheibe und der Kreisrand besteht ebenfalls aus lauter approximativen Eigenwerten, die keine echten Eigenwerte sind. Die inneren Spektralpunkte λ λ {\\displaystyle \\lambda } mit | λ λ | < 1 {\\displaystyle |\\lambda |<1} sind sämtlich Eigenwerte von S ∗ ∗ {\\displaystyle S^{*}} . Die zugehörigen `F33f`_`[Eigenräume`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Eigenraum]`_`f sind alle eindimensional, der Eigenraum zu λ λ {\\displaystyle \\lambda } wird von ( 1 , λ λ , λ λ 2 , λ λ 3 , … … ) {\\displaystyle (1,\\lambda ,\\lambda ^{2},\\lambda ^{3},\\ldots )} erzeugt.

>>>Der Shiftoperator als Fredholm-Operator

Der Shiftoperator S {\\displaystyle S} ist ein `F33f`_`[Fredholm-Operator`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Fredholm-Operator]`_`f mit i n d ( S ) = d i m ( k e r ( S ) ) − − c o d i m ( i m ( S ) ) = − − 1 {\\displaystyle \\mathrm {ind} (S)=\\mathrm {dim} (\\mathrm {ker} (S))-\\mathrm {codim} (\\mathrm {im} (S))=-1} . Daher ist das Bild π π ( S ) {\\displaystyle \\pi (S)} in der `F33f`_`[Calkin-Algebra`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Calkin-Algebra]`_`f unitär, was man aber auch ohne den Begriff des Fredholm-Operators den Formeln S ∗ ∗ S = i d {\\displaystyle S^{*}S=id} und S S ∗ ∗ = P i m ( S ) {\\displaystyle SS^{*}=P_{im(S)}} entnimmt. Das Spektrum von π π ( S ) {\\displaystyle \\pi (S)} ist die Kreislinie.

>>>Wold-Zerlegung

Ein stetiger linearer Operator T {\\displaystyle T} auf einem Hilbertraum H ist unitär äquivalent zum Shiftoperator, wenn es einen unitären Operator U : H → → ℓ ℓ 2 ( N ) {\\displaystyle U:H\\rightarrow \\ell ^{2}({\\mathbb {N} })} gibt mit T = U ∗ ∗ S U {\\displaystyle T=U^{*}SU} . Ist T {\\displaystyle T} irgendein Operator auf H {\\displaystyle H} , so heißt ein Unterraum V ⊂ ⊂ H {\\displaystyle V\\subset H} `*invariant`* (bezüglich T {\\displaystyle T} ), falls T ( V ) ⊂ ⊂ V {\\displaystyle T(V)\\subset V} . Mit diesen Begriffen kann man nun alle Isometrien auf einem Hilbertraum beschreiben. Eine Isometrie ist im Wesentlichen eine direkte Summe aus einem unitären Operator und einigen Shiftoperatoren, genauer:

• Ist T {\\displaystyle T} eine Isometrie auf einem Hilbertraum H {\\displaystyle H} , so zerfällt H {\\displaystyle H} in eine direkte Summe G ⊕ ⊕ ⨁ ⨁ i ∈ ∈ I H i {\\displaystyle \\textstyle G\\oplus \\bigoplus _{i\\in I}H_{i}} invarianter Unterräume, so dass T | G {\\displaystyle T|_{G}} unitär ist und jeder Operator T | H i {\\displaystyle T|_{H_{i}}} unitär äquivalent zum Shiftoperator ist.

Dabei kann G = { 0 } {\\displaystyle G=\\{0\\}} sein, das heißt, der unitäre Anteil der Isometrie verschwindet, aber auch G = H {\\displaystyle G=H} und somit I = ∅ ∅ {\\displaystyle I=\\emptyset } , dann ist die Isometrie unitär. Diese Darstellung einer Isometrie nennt man auch ihre `*Wold-Zerlegung`* oder `*Wold-von Neumann-Zerlegung`* (nach `F33f`_`[Herman Wold`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Herman_Wold]`_`f und `F33f`_`[John von Neumann`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=John_von_Neumann]`_`f).

>>>Der Shiftoperator auf H 2

Sei Γ Γ = { λ λ ∈ ∈ C ; | λ λ | = 1 } {\\displaystyle \\Gamma =\\{\\lambda \\in {\\mathbb {C} };\\,|\\lambda |=1\\}} die Kreislinie und μ μ {\\displaystyle \\mu } das auf 1 normierte `F33f`_`[Lebesgue-Maß`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Lebesgue-Maß]`_`f auf Γ Γ {\\displaystyle \\Gamma } , das heißt das `F33f`_`[Bildmaß`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Bildmaß]`_`f des Lebesgue-Maßes auf dem Einheitsintervall [0,1] unter der Abbildung t → → e 2 π π i t {\\displaystyle t\\to e^{2\\pi it}} . H 2 {\\displaystyle H^{2}} , der sogenannte `F33f`_`[Hardy-Raum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Hardy-Raum]`_`f, ist definiert als der von den Funktionen z ↦ ↦ z n , n = 0 , 1 , 2 , … … {\\displaystyle z\\mapsto z^{n},n=0,1,2,\\ldots } erzeugte Unterraum im Hilbertraum L 2 ( Γ Γ , μ μ ) {\\displaystyle L^{2}(\\Gamma ,\\mu )} .

Man kann zeigen, dass die Multiplikation mit der Funktion i d Γ Γ : z ↦ ↦ z {\\displaystyle id_{\\Gamma }:z\\mapsto z} einen stetigen, linearen Operator auf H 2 {\\displaystyle H^{2}} definiert. Da die Funktionen z ↦ ↦ z n {\\displaystyle z\\mapsto z^{n}} eine `F33f`_`[Orthogonalbasis`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Orthogonalbasis]`_`f des Hardy-Raums bilden, ist dieser Operator unitär äquivalent zum Shiftoperator, und man bezeichnet ihn auch einfach als Shiftoperator. In dieser speziellen Darstellung des Shiftoperators erscheint der Shiftoperator als ein Multiplikationsoperator.

>>Quellen

• `F33f`_`[Paul Halmos`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Paul_Halmos]`_`f: A Hilbert Space Problem Book, Springer-Verlag, ISBN 0387906851

`c`F0af`_`[↑ Back to top`#top]`_`f`a